Free shipping on all orders! No minimum purchase required.
Software Engineering and Formal Methods
by Alessandro Cimatti (Editor), Marjan Sirjani (Editor)
Theory and Applications of Satisfiability Testing -- SAT 2012
by Alessandro Cimatti (Editor), Roberto Sebastiani (Editor)
